Scilog: A Language for Scientific Processes and Scales
نویسنده
چکیده
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and querying knowledge about scientific processes, (2) the different scales at which processes may be manifested, and (3) the domains to which values belong. Scilog is meant to invoke more specialized algorithms and to be called by high-level discovery routines. We test Scilog’s ability to support such routines with a simple search through the space of geophysical models.
منابع مشابه
Self-Regulation, Goal Orientation, Tolerance of Ambiguity and Autonomy as Predictors of Iranian EFL learners’ Second Language Achievement: A Structural Equation Modeling Approach
The identification of the cognitive, affective, social and even physiological factors affecting second or foreign language learning routes and rate has for long been a challenging aspiration for second language researchers. However, a recent preoccupation of the researchers in this area has been the study of the combinatorial impacts of such factors on second or foreign language learning proces...
متن کاملOn the Relationship between General Factor and Foreign Language Proficiency
Raven Progressive Matrices (RPMs) and Wechsler Intelligence Scale for Children (WSIC-R) are two common general intelligence measuring scales used in Iranian high schools. In this paper the relationships between g factor scales and students’ reading comprehension, grammar, and vocabulary was examined by correlation and regression analysis. Standard tests of grammar and vocabulary and Cambridge K...
متن کاملJALDA's Interview with Professor Glenn Fulcher
Glenn Fulcher is the Professor of Applied Linguistics and Language Assessment in the English Department at the University of Leicester, UK. He got his PhD in Applied Linguistics and Language Testing from Lancaster University (1993) and his MA in Applied Linguistics from the University of Birmingham (1987). Professor Fulcher has been the editor of Sage's Language Testing (2006-2015) and an influ...
متن کاملOn the Relationship between Iranian EFL Teachers’ Efficacy of Classroom Management, Reflective Thinking, and Transformational Leadership Style: A Structural Equation Modeling
In spite of the significant role of teachers in the efficacy of classroom management particularly in teaching English as a Foreign Language, the issue has not been addressed sufficiently especially in relation with other individual variables. Hence, this study made an attempt to investigate the association between Iranian EFL teachers’ classroom management, reflective thinking and transformatio...
متن کاملExploring Language Learners’ Cognitive Processes in On-line ESP Courses via Think-aloud Protocol Analysis
The present study aims to investigate language learners’ cognitive processes in on-line ESP courses. Three modes of inquiry are used: think-aloud protocol analysis, screen capture analysis, and correlation analysis. The theoretical foundations for the evaluation of the cognitive aspect of Ferdowsi Univeristy of Mashhad E-learning System are drawn from cognitive load theory, cognitive apprentice...
متن کامل